12.4.1 theorem in functional analys